Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from (...) MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses. (shrink)

In this papper, we will do a travel to the history about Movimiento 19 de Abril, a Colombian guerrilla, and one of their units: the Batallón América. This army was conformed for four groups: M-19 and Movimiento Armado Quintín Lame, Alfaro Vive Carajo, and Movimiento Revolucionario Túpac Amaru. This battalion was a perfect example about the relation of M-19 with national and international guerrillas, and the Socialist International. Across this paper, we will show a primal idea about the internationalism in (...) the Latin American guerrillas, its effects in the posterior history from these guerrillas, the important paper from the Batallón América in their strategy about the cooperation between guerrillas in Colombia and the creation of a transnational revolutionary army in the Latin American continent. (shrink)

El artículo trata de abordar algunos aspectos de articulación entre pluralismo y justicia. Más concretamente, las posibilidades de profundizar en una teoría de la justicia que sea capaz de acoger en un mismo marco político a ciudadanos de culturas y valores heterogéneos. Ello conduce a destacar algunas de las deficiencias de posturas relativistas y monistas y a defender una posición que parta de la posición del liberalismo político y la supere con el fin de conducir a un marco político ni (...) neutral ni perfeccionista. (shrink)

The European Commission has recently proposed the introduction of legally binding quotas for women on corporate boards of European companies. This proposal has put the spotlight on the question of whether increasing female representation on the board brings economic benefits to the firm. In order to shed light on the issue, this study investigates the direct and indirect effects of women on the board on firm value. We use a simultaneous equation model to estimate the effects of women on the (...) board on firm value, financial performance, and compliance with ethical and social principles adopted by the firm. We find no evidence that a higher female representation on the board directly affects firm’s value. However, we find indirect effects. Women on the board are positively related with financial performance (measured in terms of return on assets and return on sales) and with ethical and social compliance, which in turn are positively related with firm value. The findings in this study suggest that greater female representation on corporate boards of large European firms can increase firm value indirectly. Further, part of the indirect effect comes from stronger compliance with ethical principles, something that is not captured by accounting-based financial performance. (shrink)

Knowledge about maize varieties is the key to rural households' survival in native Mexico. Native peoples relate to nature in particular ways and they play a crucial role in maintaining biodiversity. This paper discusses the relationship between native women's accumulated knowledge on maize varieties and the laboratory analysis of the species that they manage. Fieldwork was conducted in an Otomí community, San Pablo Arriba, located in the state of Mexico.

La arqueología ha revelado recientemente la existencia de una importante revitalización urbana en Córdoba durante el Califato Almohade, apenas tratada hasta ahora por la historiografía, centrada principalmente en su pasado omeya. Por un lado, se ha observado una importante inversión del poder almohade en elementos defensivos y palatinos, acaso por tratarse en estas fechas de un centro fundamental en la conceptualización histórica de al-Andalus y en la lucha contra los reinos cristianos; por otro, se ha documentado un importante crecimiento orgánico (...) y privado extramuros. Todo ello coincidió con su elección como capital andalusí en 557/1162 por ‘Abd al-Mu’min, lo que suponía un hito fundamental para la legitimación de su nuevo califato. Tras su muerte pocos meses después, Abū Ya‘qūb Yūsuf hizo regresar la corte a Sevilla, creando un importante cambio de rumbo en la política almohade que no afectó al resurgir urbano de la antigua sede omeya. En realidad, Córdoba seguiría muy presente en la mentalidad colectiva andalusí durante el gobierno almohade, manteniéndose como referente principal del esplendor pasado y como núcleo esencial de la tradición mālikī. (shrink)

Este artículo presenta una reflexión política acerca del VIH-sida, estructurada en cuatro momentos: primero, una aproximación a las políticas de la vida donde se devela el actuar de la necropolítica, el biopoder, la biopolítica y biolegitimidad en relación con el VIH-sida; segundo, se aborda una antropología política del cuerpo, la cual advierte las distintas formas de poder, violencia y verdad que experimentan las personas que viven con VIH-sida; tercero, un acercamiento al modo en que se reproduce una economía moral del (...) castigo, donde se articulan elementos normativos, médico-sanitarios, de la vida, el cuerpo y la sociedad; cuarto, se propone repolitizar el VIH-sida, a fin de brindar insumos que permitan construir un orden social diferente para las personas que viven con dicha realidad. (shrink)

This paper presents a graffito written after firing on a Samian-ware bowl dated to the turn of the first and second centuries c.e., which seems to contain part of a hexameter included in the well-known anthology Carmina XII sapientum, the composition of which has recently been attributed to the Christian author Lactantius.

This paper argues that epistemic errors rooted in group- or identity- based biases, especially those pertaining to disability, are undertheorized in the literature on medical error. After sketching dominant taxonomies of medical error, we turn to the field of social epistemology to understand the role that epistemic schemas play in contributing to medical errors that disproportionately affect patients from marginalized social groups. We examine the effects of this unequal distribution through a detailed case study of ableism. There are four primary (...) mechanisms through which the epistemic schema of ableism distorts communication between nondisabled physicians and disabled patients: testimonial injustice, epistemic overconfidence, epistemic erasure, and epistemic derailing. Measures against epistemic injustices in general and against schema-based medical errors in particular are ultimately issues of justice that must be better addressed at all levels of health care practice. (shrink)

El artículo explora algunos de los principales rasgos políticos de la época globalizada y defiende la necesidad de entidades políticas representativas que superen el marco del Estado nación. A continuación se pregunta bajo qué presupuestos ético-políticos podría defenderse un modelo político-jurídico global para un mundo axiológicamente diverso y qué concepciones políticas y valores podrían proponerse como referente normativo para una gobernanza global cuya meta habría de ser el ejercicio legítimo del poder. Teniendo en cuenta las dificultades de tal empresa, se (...) presentan posibles estrategias y razones que invitan a considerar que la posibilidad de un acuerdo global no es del todo implausible. (shrink)

An experimental breast-feeding education programme conducted at the Philippine General Hospital in Manila demonstrated that women could be motivated to improve their breast-feeding practices and lengthen their period of lactational amenorrhoea in comparison to a control group. Mothers who participated in the programme breast-fed their babies more frequently, delayed the introduction of regular supplements, used fewer bottles and pacifiers and maintained night feeding longer than mothers who were not exposed to the positive breast-feeding messages. The programme was successful in lengthening (...) the period of amenorrhoea among women with elementary, high school, or technical school education, but not among college-educated women. Different educational approaches may be necessary for women of different education levels. (shrink)

Partimos de que en sociedades políticas complejas, aun siendo el Estado un artificio necesario para evitar situaciones de dominación, su entramado institucional no está exento de reproducir análogas situaciones a aquellas cuya eliminación justificaba su existencia. Analizaremos desde esta óptica las críticas de Rawls y Nozick al utilitarismo, al que acusan de amparar actuaciones injustas por parte del colectivo hacia los individuos. En concreto, abordaremos el problema de los derechos inviolables desde estas tres líneas de pensamiento para concluir que, a (...) pesar de que existen marcadas diferencias en sus respectivos planteamientos metodológicos, hay en las tres líneas de convergencia en lo sustantivo. Concluiremos con una réplica a las objeciones antiutilitaristas y una defensa, siguiendo a John Stuart Mill de la mayor adecuación de esta escuela a la hora de defender la inviolabilidad de ciertos derechos fundamentales. (shrink)

Un análisis de la situación actual del estado de salud mental de un alto número de la población global basta para dar cuenta de la gravedad del asunto y plantear diversas posibles soluciones. El transhumanismopropone mejorar al ser humano mediante innovación tecnológica. En este trabajo se explica cómo esa innovación pude mejorar el bienestar del ser humano, analizando las consecuencias éticas y sociales de la propuesta del superbienestar y discutiendo también las críticas al transhumanismo por parte de los bioconservadores.

La teoría husserliana de la constitución es el método de la fenomenología como filosofía trascendental. Su problema específico es la constitución de objetividades en la conciencia. La reducción trascendental descubre la estructura noético-noemática de la conciencia, abriendo así el acceso a una esfera absoluta de reladones cidéticas. El análisis fenomenológico de la vivencia nos enfrenta con dos seres en sí: la conciencia y el ser de que se tiene conciencia. Lacuestión de la evidencia plantea el problema de la legitimidad racional (...) de toda correlación entre conciencia, verdad y ser. Lafenomenología tiene su fundamento en la «subjetividad trascendental absoluta».The husserlian theory of constitution is the method of phenomenology as transcendental philosophy. Its specific problem is the constitution ofobjectivities in consciousness.The transcendental reduction uncovers the noetic-noematic structure of consciousnes, opening up in tbat way the acreas to an absolute sphere of eidetic relationships. Tbe phenomenological analysis of experiential process confronts us withtwo beings: the consciousnessand the being aware of one’s consciousness. As regards evidence one thinks about the problem of rational legitimacy of every correlation between consciousness, truth and heing. Phenomenology has its foundations in the «absolute transcendental subjectivity». (shrink)

La teoría husserliana de la constitución es el método de la fenomenología como filosofía trascendental. Su problema especifico es la constitución de objetividades en la conciencia. La reducción trascendental descubre la estructura noético-noemática de la conciencia, abriendo así el acceso a una esfera absoluta de relaciones eidéticas. El análisis fenomenológico de la vivencia nos enfrenta con dos seres en si: la conciencia y el ser de que se tiene conciencia. La cuestión de la evidencia plantea el problema de la legitimidad (...) racional de toda correlación entre conciencia, verdad y ser. La fenomenología tiene su fundamento en la "subjetividad trascendental absoluta". (shrink)